Yepeng Ding

public.icon

* 2024年4月からの就職先をアカデミアと産業界で探しています。また、スタートアップのアイデアやビジネスコラボレーションにも前向きです。ご興味のある方はお気軽にご連絡ください。

私は、実践から理論を発見し、実践のための方法論を開発することで、証明可能な正しいシステムを構築することに情熱を注いでいます。私の主な焦点は、ソフトウェア工学のセキュリティとプライバシーの側面、特にプロトコルとアプリケーション・レベルにまたがる分散型システムにあります。現在は、証明可能な正しいシステムを開発するための新しいプログラミングパラダイムである遷移指向プログラミングを構築しています。

また、中国、日本、韓国政府公認のシステムアーキテクトでもあります。2015年以来、新興企業や研究機関の開発プロジェクトを数十件指揮してきました。そのほか、堅牢で安全かつ効率的なシステムを最小限のコストで開発するための現在のベストプラクティスを積極的に探求しています。

趣味：プログラミング、旅行、映画

yepengding.github.io